%%Created by jPicEdt 1.4.1_03: mixed JPIC-XML/LaTeX format
%%Wed Apr 04 12:10:03 CEST 2012
%%Begin JPIC-XML
%<?xml version="1.0" standalone="yes"?>
%<jpic x-min="7" x-max="125" y-min="40" y-max="206" auto-bounding="true">
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(125,40)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%
%</text>
%<g>
%<multicurve fill-style= "none"
%	 points= "(18.59,181.32);(18.59,181.32);(30.81,203.36);(30.81,203.36)"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30.81,205.12)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%Y
%</text>
%<multicurve fill-style= "none"
%	 points= "(9.63,181.32);(9.63,181.32);(9.63,203.36);(9.63,203.36)"
%	 right-arrow= "head"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(8,203.36)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%1
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(8,181.32)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%0
%</text>
%<multicurve fill-style= "none"
%	 points= "(9.63,181.32);(9.63,181.32);(50.37,181.32);(50.37,181.32)"
%	 right-arrow= "head"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(14.52,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%11
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(18.59,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%12
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(22.67,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%13
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(26.74,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%14
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30.81,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%15
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(34.89,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%16
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(38.96,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%17
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(43.04,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%18
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(47.11,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%19
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(51.19,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%20
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(10.44,180)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%10
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30,206)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%
%</text>
%<multicurve fill-style= "none"
%	 points= "(30.81,203.36);(30.81,203.36);(47.11,181.32);(47.11,181.32)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(9.63,206)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%possibility
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(52,182.2)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%time
%</text>
%</g>
%<g>
%<multicurve fill-style= "none"
%	 points= "(9.26,145);(9.26,145);(9.26,167.43);(9.26,167.43)"
%	 right-arrow= "head"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(7.63,167.43)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%1
%</text>
%<multicurve fill-style= "none"
%	 points= "(9.26,145);(9.26,145);(50,145);(50,145)"
%	 right-arrow= "head"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(7.63,145)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%0
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(14.15,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%11
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(18.22,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%12
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(22.3,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%13
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(26.37,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%14
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30.44,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%15
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(34.52,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%16
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(38.59,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%17
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(42.67,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%18
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(46.74,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%19
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50.81,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%20
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(10.07,142.76)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%10
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(9.26,170.12)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%possibility
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(51.63,146.79)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%time
%</text>
%<multicurve fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(18.22,145);(18.22,145);(30.44,167.43);(30.44,167.43)"
%	 stroke-style= "dashed"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30.44,169.22)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%Y
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(29.63,170.12)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%
%</text>
%<multicurve fill-style= "none"
%	 points= "(30.44,167.43);(30.44,167.43);(46.74,145);(46.74,145)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30.44,167.43);(30.44,167.43);(9.26,167.43);(9.26,167.43)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,162)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\Pos(\Open(C_2))$
%</text>
%</g>
%<g>
%<multicurve fill-style= "none"
%	 points= "(9.01,108.3);(9.01,108.3);(9.01,131.25);(9.01,131.25)"
%	 right-arrow= "head"
%	 />
%<multicurve fill-style= "none"
%	 points= "(9.01,108.3);(9.01,108.3);(49.2,108.3);(49.2,108.3)"
%	 right-arrow= "head"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(13.03,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%11
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(17.05,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%12
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(21.07,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%13
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(25.08,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%14
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(29.1,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%15
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(33.12,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%16
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(37.14,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%17
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(41.16,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%18
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(45.18,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%19
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(49.2,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%20
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(9.01,106)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%10
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(7,131.25)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%1
%</text>
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(7.4,108.3)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%0
%</text>
%<multicurve fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(17.05,108.3);(17.05,108.3);(29.1,131.25);(29.1,131.25)"
%	 stroke-style= "dashed"
%	 />
%<text fill-style= "none"
%	 stroke-color= "#ff0033"
%	 stroke-width= "0.95"
%	 text-vert-align= "center-v"
%	 anchor-point= "(29.1,133.08)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%Y
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(28.3,134)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%
%</text>
%<multicurve fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(29.1,131.25);(29.1,131.25);(45.18,108.3);(45.18,108.3)"
%	 stroke-style= "dashed"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,110.13)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%time
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(8.21,133.08)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%Necessity
%</text>
%<multicurve fill-style= "none"
%	 points= "(29.1,108.3);(29.1,108.3);(17.05,131.25);(17.05,131.25)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(17.05,131.25);(17.05,131.25);(9.01,131.25);(9.01,131.25)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,124)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\Nec(\Open(C_2))$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(28.3,129.41)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%
%</text>
%</g>
%</jpic>
%%End JPIC-XML
%LaTeX-picture environment using emulated lines and arcs
%You can rescale the whole picture (to 80% for instance) by using the command \def\JPicScale{0.8}
\ifx\JPicScale\undefined\def\JPicScale{1}\fi
\unitlength \JPicScale mm
\begin{picture}(125,206)(0,0)
\put(125,40){\makebox(0,0)[cc]{}}

\linethickness{0.3mm}
\multiput(18.59,181.32)(0.12,0.22){102}{\line(0,1){0.22}}
\put(30.81,205.12){\makebox(0,0)[cc]{Y}}

\linethickness{0.3mm}
\put(9.63,181.32){\line(0,1){22.03}}
\put(9.63,203.36){\vector(0,1){0.12}}
\put(8,203.36){\makebox(0,0)[cc]{1}}

\put(8,181.32){\makebox(0,0)[cc]{0}}

\linethickness{0.3mm}
\put(9.63,181.32){\line(1,0){40.74}}
\put(50.37,181.32){\vector(1,0){0.12}}
\put(14.52,180){\makebox(0,0)[cc]{11}}

\put(18.59,180){\makebox(0,0)[cc]{12}}

\put(22.67,180){\makebox(0,0)[cc]{13}}

\put(26.74,180){\makebox(0,0)[cc]{14}}

\put(30.81,180){\makebox(0,0)[cc]{15}}

\put(34.89,180){\makebox(0,0)[cc]{16}}

\put(38.96,180){\makebox(0,0)[cc]{17}}

\put(43.04,180){\makebox(0,0)[cc]{18}}

\put(47.11,180){\makebox(0,0)[cc]{19}}

\put(51.19,180){\makebox(0,0)[cc]{20}}

\put(10.44,180){\makebox(0,0)[cc]{10}}

\put(30,206){\makebox(0,0)[cc]{}}

\linethickness{0.3mm}
\multiput(30.81,203.36)(0.12,-0.16){136}{\line(0,-1){0.16}}
\put(9.63,206){\makebox(0,0)[cc]{possibility}}

\put(52,182.2){\makebox(0,0)[cc]{time}}

\linethickness{0.3mm}
\put(9.26,145){\line(0,1){22.43}}
\put(9.26,167.43){\vector(0,1){0.12}}
\put(7.63,167.43){\makebox(0,0)[cc]{1}}

\linethickness{0.3mm}
\put(9.26,145){\line(1,0){40.74}}
\put(50,145){\vector(1,0){0.12}}
\put(7.63,145){\makebox(0,0)[cc]{0}}

\put(14.15,142.76){\makebox(0,0)[cc]{11}}

\put(18.22,142.76){\makebox(0,0)[cc]{12}}

\put(22.3,142.76){\makebox(0,0)[cc]{13}}

\put(26.37,142.76){\makebox(0,0)[cc]{14}}

\put(30.44,142.76){\makebox(0,0)[cc]{15}}

\put(34.52,142.76){\makebox(0,0)[cc]{16}}

\put(38.59,142.76){\makebox(0,0)[cc]{17}}

\put(42.67,142.76){\makebox(0,0)[cc]{18}}

\put(46.74,142.76){\makebox(0,0)[cc]{19}}

\put(50.81,142.76){\makebox(0,0)[cc]{20}}

\put(10.07,142.76){\makebox(0,0)[cc]{10}}

\put(9.26,170.12){\makebox(0,0)[cc]{possibility}}

\put(51.63,146.79){\makebox(0,0)[cc]{time}}

\linethickness{0.3mm}
\multiput(18.22,145)(0.98,1.79){13}{\multiput(0,0)(0.12,0.22){4}{\line(0,1){0.22}}}
\put(30.44,169.22){\makebox(0,0)[cc]{Y}}

\put(29.63,170.12){\makebox(0,0)[cc]{}}

\linethickness{0.3mm}
\multiput(30.44,167.43)(0.12,-0.16){136}{\line(0,-1){0.16}}
\linethickness{0.3mm}
\put(9.26,167.43){\line(1,0){21.19}}
\put(50,162){\makebox(0,0)[cc]{$\Pos(\Open(C_2))$}}

\linethickness{0.3mm}
\put(9.01,108.3){\line(0,1){22.95}}
\put(9.01,131.25){\vector(0,1){0.12}}
\linethickness{0.3mm}
\put(9.01,108.3){\line(1,0){40.19}}
\put(49.2,108.3){\vector(1,0){0.12}}
\put(13.03,106){\makebox(0,0)[cc]{11}}

\put(17.05,106){\makebox(0,0)[cc]{12}}

\put(21.07,106){\makebox(0,0)[cc]{13}}

\put(25.08,106){\makebox(0,0)[cc]{14}}

\put(29.1,106){\makebox(0,0)[cc]{15}}

\put(33.12,106){\makebox(0,0)[cc]{16}}

\put(37.14,106){\makebox(0,0)[cc]{17}}

\put(41.16,106){\makebox(0,0)[cc]{18}}

\put(45.18,106){\makebox(0,0)[cc]{19}}

\put(49.2,106){\makebox(0,0)[cc]{20}}

\put(9.01,106){\makebox(0,0)[cc]{10}}

\put(7,131.25){\makebox(0,0)[cc]{1}}

\put(7.4,108.3){\makebox(0,0)[cc]{0}}

\linethickness{0.3mm}
\multiput(17.05,108.3)(0.96,1.84){13}{\multiput(0,0)(0.12,0.23){4}{\line(0,1){0.23}}}
\put(29.1,133.08){\makebox(0,0)[cc]{Y}}

\put(28.3,134){\makebox(0,0)[cc]{}}

\linethickness{0.3mm}
\multiput(29.1,131.25)(1.11,-1.58){15}{\multiput(0,0)(0.11,-0.16){5}{\line(0,-1){0.16}}}
\put(50,110.13){\makebox(0,0)[cc]{time}}

\put(8.21,133.08){\makebox(0,0)[cc]{Necessity}}

\linethickness{0.3mm}
\multiput(17.05,131.25)(0.12,-0.23){100}{\line(0,-1){0.23}}
\linethickness{0.3mm}
\put(9.01,131.25){\line(1,0){8.04}}
\put(50,124){\makebox(0,0)[cc]{$\Nec(\Open(C_2))$}}

\put(28.3,129.41){\makebox(0,0)[cc]{}}

\end{picture}
